0
1
4
4
7
4
7
4
1
0
0
0
0
0
0
7
10
10
7
4
0
0
0
0
0
10
13
10
13
10
7
4
0
0
0
0
13
16
16
10
7
0
0
16
19
22
19
16
13
10
1
0
0
13
16
19
22
25
22
16
10
7
4
0
19
22
25
28
25
22
19
16
13
10
7
4
1
31
34
34
34
34
34
34
37
37
37
37
37
37
45
40
40
40
40
45
45
40
40
40
40
45
50
45
45
45
45
50
Iteration 0, states=12, history=12
Iteration 1, states=284, history=296
Iteration 2, states=3383, history=3679
Iteration 3, states=43041, history=46720
Iteration 4, states=10000, history=250000
Iteration 5, states=10000, history=250000
Iteration 6, states=10000, history=250000
Iteration 7, states=10000, history=250000
Iteration 8, states=10000, history=250000
Iteration 9, states=10000, history=250000
Iteration 10, states=10000, history=250000
Iteration 11, states=10000, history=250000
Iteration 12, states=10000, history=250000
Iteration 13, states=10000, history=250000
Iteration 14, states=10000, history=250000
Iteration 15, states=10000, history=250000
Iteration 16, states=10000, history=250000
Iteration 17, states=10000, history=250000
Iteration 18, states=10000, history=250000
Iteration 19, states=10000, history=250000
Iteration 20, states=10000, history=250000
Iteration 21, states=10000, history=250000
Iteration 22, states=10000, history=250000
Iteration 23, states=10000, history=250000
Iteration 24, states=10000, history=250000
Iteration 25, states=10000, history=250000
Iteration 26, states=10000, history=250000
Iteration 27, states=10000, history=250000
Iteration 28, states=72497, history=250000